Playing Holst: The Planets - Berlin Philharmonic, Rundfunkchor Berlin